home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group98a.txt / 000102_icon-group-sender _Thu Mar 5 12:41:31 1998.msg < prev    next >
Internet Message Format  |  2000-09-20  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: from kingfisher.CS.Arizona.EDU (kingfisher.CS.Arizona.EDU [192.12.69.239])
  3.     by baskerville.CS.Arizona.EDU (8.8.7/8.8.7) with SMTP id MAA21292
  4.     for <icon-group-addresses@baskerville.CS.Arizona.EDU>; Thu, 5 Mar 1998 12:41:31 -0700 (MST)
  5. Received: by kingfisher.CS.Arizona.EDU (5.65v4.0/1.1.8.2/08Nov94-0446PM)
  6.     id AA05517; Thu, 5 Mar 1998 12:41:30 -0700
  7. Message-Id: <s4fe79c8.077@housmtp.oceaneering.com>
  8. X-Mailer: Novell GroupWise 4.1
  9. Date: Thu, 05 Mar 1998 10:08:25 -0600
  10. From: Charles Hethcoat <CHETHCOA@oss.oceaneering.com>
  11. To: rpereda@ringer.cs.utsa.edu
  12. Cc: icon-group@optima.CS.Arizona.EDU
  13. Subject: Re: Icon translation -Reply
  14. Mime-Version: 1.0
  15. Content-Type: text/plain
  16. Content-Disposition: inline
  17. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  18. Status: RO
  19. Content-Length: 648
  20.  
  21.  
  22.  
  23. >>> Ramon Pereda <rpereda@ringer.cs.utsa.edu> 1998 Mar 04, 07:19pm
  24.  
  25. >Does anyone know of a language that has this feature [optional strong
  26. typing] ?
  27.  
  28. You might take a look at Haskell 1.4.  It's a lazy applicative language with
  29. no imperative features, so that simplifies the type checking.  It is said to
  30. be strongly typed, but also able to dope out the types of everything
  31. without explicit type declarations from the programmer.  Therefore it
  32. need carry no runtime type tags about.  (I am just now beginning to study
  33. it, so I hope I'm not misrepresenting anything about it.)
  34.  
  35. Go to http://www.haskell.org and follow the links.
  36.  
  37. Charles Hethcoat
  38.